"Cut-elimination for Weak Grzegorczyk Logic Go"